شبه bck - جبرهای موضعی با شبه حاصلضرب

در این پایان نامه شبه bck – جبرهای موضعی با شبه حاصلضرب را معرفی کرده همچنین شبه bck – جبرهای موضعی با شبه حاصلضرب را تعریف می کنیم. و ویژگی های آنها را مورد مطالعه قرار می دهیم. رادیکالی از شبه bck – جبرهای کراندار با شبه حاصلضرب را تعریف کرده و ثابت می شود یک دستگاه استنتاجی نرمال است.در نهایت شبه کمانک ها را تعریف کرده و ارتباط آنها با شبه bck – جبرها را بررسی می کنیم. نتیجه ی دیگر اثبات این موضوع است که هر شبه کمانک قویا ساده یک شبه bck – جبر کراندار با شبه حاصلضرب است. کلمات کلیدی: شبه bck - جبر, شبه bck – جبر موضعا متناهی, شبه bck – جبر اولیه, شبه bck – جبر موضعی, شبه bck – جبر تام, دستگاه استنتاجی, دستگاه استنتاجی اولیه, دستگاه استنتاجی تام, فیلتر, رادیکال, شبه کمانک.